ff1588d761d55f48f61a52249e1dcc24

Micron Document

<!DOCTYPE html>

<title>Alexander Pretschner</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Alexander Pretschner</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Walter Alexander Pretschner</b> (* <a href="1975" title="1975">1975</a>)<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> ist ein <a href="Deutschland" title="Deutschland">deutscher</a> <a href="Informatik" title="Informatik">Informatiker</a> und <a href="Hochschullehrer" title="Hochschullehrer">Hochschullehrer</a>. Er ist <a href="Professor" title="Professor">Professor</a> für <a href="Software_Engineering" class="mw-redirect" title="Software Engineering">Software</a> & <a href="Systems_Engineering" title="Systems Engineering">Systems Engineering</a> an der <a href="Technische_Universit%C3%A4t_M%C3%BCnchen" title="Technische Universität München">Technischen Universität München</a>, Gründungsdirektor des <a href="Bayerisches_Forschungsinstitut_f%C3%BCr_Digitale_Transformation" title="Bayerisches Forschungsinstitut für Digitale Transformation">Bayerischen Forschungsinstituts für Digitale Transformation</a> und wissenschaftlicher Direktor von <a href="Fortiss" title="Fortiss">fortiss</a>, dem Forschungsinstitut des Freistaats Bayern für softwareintensive Systeme und Services.

</p>

<div class="mw-heading mw-heading2"><h2 id="Leben_und_Werk">Leben und Werk</h2></div>

<p>Alexander Pretschner studierte Informatik an der <a href="RWTH_Aachen" title="RWTH Aachen">RWTH Aachen</a> und der <a href="University_of_Kansas" title="University of Kansas">University of Kansas</a>. Er promovierte 2003 an der TU München bei <a href="Manfred_Broy" title="Manfred Broy">Manfred Broy</a> mit der Dissertation „Zum modellbasierten, funktionalen Test reaktiver Systeme“. Anschließend forschte er an der <a href="ETH_Z%C3%BCrich" title="ETH Zürich">ETH Zürich</a>, bevor er zunächst Gruppenleiter am <a href="Fraunhofer-Institut_f%C3%BCr_Experimentelles_Software_Engineering" class="mw-redirect" title="Fraunhofer-Institut für Experimentelles Software Engineering">Fraunhofer-Institut für Experimentelles Software Engineering</a> sowie Professor an der <a href="TU_Kaiserslautern" class="mw-redirect" title="TU Kaiserslautern">TU Kaiserslautern</a> und danach Professor am <a href="Karlsruher_Institut_f%C3%BCr_Technologie" title="Karlsruher Institut für Technologie">Karlsruher Institut für Technologie</a> wurde. 2012 wurde er als Professor für Software & Systems Engineering an die TU München berufen.

</p><p>Ein Forschungsschwerpunkt im Software&Systems Engineering ist das Testen und dabei insbesondere die Frage, wann ein Testfall „gut“ ist: wenn er einen potentiellen Fehler mit guter Kosteneffektivität (bzgl. Schwere, Eintrittswahrscheinlichkeit, Aufwand der Identifikation etc.) finden kann. Daraus ergeben sich Ansätze zum fehlerbasierten Testen,<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> die u. a. erfolgreich auf autonome Autos und Drohnen angewendet werden können und die dann direkt in Arbeiten zur Vollständigkeit von Testsuiten<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> und zur Infragestellung von Regressionstests für cyberphysikalische Systeme auf Systemebene,<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> und der Notwendigkeit der systemspezifischen Generierung von Testfällen überleiten. Weitere Arbeitsgebiete im Bereich des Testens umfassen <a href="Modellbasiertes_Testen" title="Modellbasiertes Testen">modellbasiertes Testen</a><sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup> Fehlerlokalisierung, Regressionstesten, Sicherheitstesten und Fuzzing.

</p><p>Arbeiten zur verteilten Daten-Nutzungskontrolle<sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-11" class="reference"><a href="#cite_note-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup> und zum Test von Security-Eigenschaften bilden die Grundlage eines weiteren Forschungsschwerpunkts im Bereich Security mit Ausprägungen in den Bereichen automotive security, fuzzing, software-basierte Software Integrity Protection und Software Obfuscation sowie automatisiertes Hardening.<sup id="cite_ref-12" class="reference"><a href="#cite_note-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup>

</p><p>Accountability software-intensiver Systeme ist ein weiteres Arbeitsgebiet. Dazu werden Resultate zur effizienten Berechnung von Kausalität<sup id="cite_ref-13" class="reference"><a href="#cite_note-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup> (actual causality) mit methodischen Ansätzen der Modellierung kausaler Abhängigkeiten<sup id="cite_ref-14" class="reference"><a href="#cite_note-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup> und mit technischen Lösungsansätzen (Logging) auf Basis früherer Resultate zur verteilten Daten-Nutzungskontrolle kombiniert.

</p><p>Allgemeiner beschäftigen sich die Arbeiten des Lehrstuhls für Software&Systems Engineering an der TU München mit der Qualität von Software: Was ist Qualität und wie kann man sie bemessen, wie können Zielkonflikte gehandhabt werden, wie kann man „gute“ Software entwickeln, und wie kann dabei die inhärente Kontextspezifizität von Software und Software Engineering berücksichtigt werden?

</p><p>Pretschner ist Mitglied des Palantir Council of Advisors on Privacy and Civil Liberties (PCAP) und berät in dieser Funktion das US-Unternehmen <a href="Palantir_Technologies" title="Palantir Technologies">Palantir Technologies</a>.<sup id="cite_ref-15" class="reference"><a href="#cite_note-15"><span class="cite-bracket">[</span>15<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading2"><h2 id="Auszeichnungen_(Auswahl)"><span id="Auszeichnungen_.28Auswahl.29"></span>Auszeichnungen (Auswahl)</h2></div>

<ul><li>1998: Fulbright-Stipendium</li>

<li>2011: Google Focused Research Award</li>

<li>2012: IBM Faculty Awards</li>

<li>2013: IBM Faculty Awards</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="https://portal.dnb.de/opac.htm?method=simpleSearch&query=128533080">Literatur von und über Alexander Pretschner</a> im Katalog der <a href="Deutsche_Nationalbibliothek" title="Deutsche Nationalbibliothek">Deutschen Nationalbibliothek</a></li>

<li><a rel="nofollow" class="external text" href="https://www.cs.cit.tum.de/sse/pretschner/">Homepage von Alexander Pretschner</a></li>

<li><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=76606">Alexander Pretschner</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendet</span></li>

<li><a rel="nofollow" class="external text" href="https://scholar.google.com/citations?user=pBIEpNcAAAAJ&hl=de">Google-Scholar-Profil</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.degruyter.com/view/KDGO/P141038"><i>Pretschner, Alexander.</i></a> In: <i>Kürschners Deutscher Gelehrten-Kalender Online.</i> De Gruyter. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Alexander Pretschner: <a rel="nofollow" class="external text" href="https://ebooks.iospress.nl/volumearticle/47709"><i>Defect-Based Testing.</i></a> In: <i>Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security.</i> Band 50, 2017, S. 141–163, 2017. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">F. Hauer, T. Schmidt, B. Holzmüller, Alexander Pretschner: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1602419"><i>Did We Test All Scenarios for Automated and Autonomous Driving Systems?</i></a> In: <i>Proc. IEEE Intelligent Transportation Systems Conference.</i> 2019, S. 2950–2955.</span>

</li>

<li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text">F. Hauer, I. Gerostathopoulos, T. Schmidt, Alexander Pretschner: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1602420"><i>Clustering Traffic Scenarios Using Mental Models as Little as Possible.</i></a> In: <i>Proc. IEEE Intelligent Vehicles Symposium.</i> 2020, S. 1007–1012.</span>

</li>

<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text">F. Hauer, Alexander Pretschner, B. Holzmüller: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1602418"><i>Re-Using Concrete Test Scenarios Generally Is a Bad Idea.</i></a> In: <i>Proc. IEEE Intelligent Vehicles Symposium.</i> 2020, S. 1305–1310.</span>

</li>

<li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a></span> <span class="reference-text">M. Utting, Alexander Pretschner, B. Legeard: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1246357"><i>A taxonomy of model-based testing approaches.</i></a> In: <i>Software Testing, Verification & Reliability.</i> Band 22, Nr. 5, 2012, S. 297–312. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-7"><span class="mw-cite-backlink"><a href="#cite_ref-7">↑</a></span> <span class="reference-text">Alexander Pretschner: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1253915"><i>Zur Kosteneffektivität modellbasierten Testens.</i></a> In: <i>Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II.</i> Braunschweig 2006. Abgerufen am 28. September 2019.</span>

</li>

Alexander Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, T. Stauner: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1251766"><i>One Evaluation of Model-Based Testing and its Automation.</i></a> In: <i>Proc. 27th Intl. Conf. on Software Engineering.</i> 2005, S. 392–401. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-9"><span class="mw-cite-backlink"><a href="#cite_ref-9">↑</a></span> <span class="reference-text">Manfred Broy, B. Jonsson, J.-P. Katoen, M. Leucker, Alexander Pretschner: <i>Model-Based Testing of Reactive Systems.</i> Springer LNCS 3472, 2005. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-10"><span class="mw-cite-backlink"><a href="#cite_ref-10">↑</a></span> <span class="reference-text">Alexander Pretschner, M. Hilty, D. Basin: <a rel="nofollow" class="external text" href="https://dl.acm.org/doi/10.1145/1151030.1151053"><i>Distributed Usage Control.</i></a> In: <i>Communications of the ACM.</i> Band 49, Nr. 9, September 206, S. 39–44. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-11"><span class="mw-cite-backlink"><a href="#cite_ref-11">↑</a></span> <span class="reference-text">Kelbert, F., Pretschner, A.: <a rel="nofollow" class="external text" href="https://mediatum.ub.tum.de/node?id=1429423"><i>Data Usage Control for Distributed Systems.</i></a> ACM

Transactions on Privacy and Security 31(3):12, 2018. Abgerufen am 28. September 2019.</span>

</li>

<li id="cite_note-12"><span class="mw-cite-backlink"><a href="#cite_ref-12">↑</a></span> <span class="reference-text">Stöckle, P., Grobauer, B., Pretschner, A.: <a rel="nofollow" class="external text" href="https://doi.org/10.1145/3324884.3416540"><i>Automated Implementation of Windows-related Security-Configuration Guides.</i></a> 35th IEEE/ACM Intl. Conf. on Automated Software Engineering, pages 598-610, 2020.</span>

</li>

<li id="cite_note-13"><span class="mw-cite-backlink"><a href="#cite_ref-13">↑</a></span> <span class="reference-text">Ibrahim, A., Pretschner, A.: <a rel="nofollow" class="external text" href="https://arxiv.org/pdf/2006.03363.pdf"><i>From Checking to Inference: Actual Causality Computations as Optimization Problems.</i></a> Proc. 18th Intl. Symp. on Automated Technology for Verification and Analysis, pages 343-359, 2020.</span>

</li>

<li id="cite_note-14"><span class="mw-cite-backlink"><a href="#cite_ref-14">↑</a></span> <span class="reference-text">Kacianka, S., Pretschner, A.: <a rel="nofollow" class="external text" href="https://dl.acm.org/doi/10.1145/3442188.3445905"><i>Designing Accountable Systems.</i></a> Proc. ACM Conference on Fairness, Accountability, and Transparency, pages 424–437, 2021.</span>

</li>

<li id="cite_note-15"><span class="mw-cite-backlink"><a href="#cite_ref-15">↑</a></span> <span class="reference-text"><span class="cite"><a rel="nofollow" class="external text" href="https://www.palantir.com/pcl/advisors/"><i>Palantir Privacy and Civil Liberties.</i></a><span class="Abrufdatum"> Abgerufen am 7. August 2025</span> (englisch).</span><span style="display: none;" class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2Fde.wikipedia.org%3AAlexander+Pretschner&rft.title=Palantir+Privacy+and+Civil+Liberties&rft.description=Palantir+Privacy+and+Civil+Liberties&rft.identifier=https%3A%2F%2Fwww.palantir.com%2Fpcl%2Fadvisors%2F&rft.language=en"> </span></span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/128533080">128533080</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/no2020116642">no2020116642</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/289587002/">289587002</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-08-07" href="https://de.wikipedia.org/wiki/?title=Alexander_Pretschner&oldid=258665797">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>